Automated Reasoning for Robot Ethics
نویسندگان
چکیده
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are considered for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be used to model ethical codes for multi-agent systems. Furthermore we show how Hyper, a high performance theorem prover, can be used to prove properties of these ethical codes.
منابع مشابه
AGV (automated guided vehicle) robot: Mission and obstacles in design and performance
The AGV (automated guided vehicle) was introduced in UK in 1953 for transporting. But nowadays, due to their high efficiency, flexibility, reliability, safety and system scalability, they are used in various application in industries. In brief, the AGV robot is a system which typically made up of vehicle chassis, embedded controller, motors, drivers, navigation and collision avoidance sensors, ...
متن کاملCommonsense Reasoning Meets Theorem Proving
The area of commonsense reasoning aims at the creation of systems able to simulate the human way of rational thinking. This paper describes the use of automated reasoning methods for tackling commonsense reasoning benchmarks. For this we use a benchmark suite introduced in literature. Our goal is to use general purpose background knowledge without domain specific hand coding of axioms, such tha...
متن کاملDual Space Control of a Deployable Cable Driven Robot: Wave Based Approach
Known for their lower costs and numerous applications, cable robots are an attractive research field in robotic community. However, considering the fact that they require an accurate installation procedure and calibration routine, they have not yet found their true place in real-world applications. This paper aims to propose a new controller strategy that requires no meticulous calibration and ...
متن کاملDynamics modeling and stable gait planning of a quadruped robot in walking over uneven terrains
Quadruped robots have unique capabilities for motion over uneven natural environments. This article presents a stable gait for a quadruped robot in such motions and discusses the inverse-dynamics control scheme to follow the planned gait. First, an explicit dynamics model will be developed using a novel constraint elimination method for an 18-DOF quadruped robot. Thereafter, an inverse-dynamics...
متن کاملThe Outcomes of Ethics Education to Medical Students Based on Moral Reasoning Models
Introduction: For years, the importance of medical ethics education in medical schools has been emphasized but there is no consensus over learning goals yet. This study aimed to investigate the learning outcomes of medical ethics education based on models of moral reasoning. Methods: This study is a review using proper keywords in databases such as Medline, Web of Science, Scoupus, and Eric li...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1502.05838 شماره
صفحات -
تاریخ انتشار 2015